On Optimizing Proof Search in Linear Logic by Value Iteration Method
نویسندگان
چکیده
Valerie NOVITZKÁ, Anita VERBOVÁ Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, tel. 055/602 4182, E-mail: [email protected] ** Department of Computers and Informatics, , Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, tel. 055/602 4144, E-mail: [email protected]
منابع مشابه
Corrector-predictor arc-search interior-point algorithm for $P_*(kappa)$-LCP acting in a wide neighborhood of the central path
In this paper, we propose an arc-search corrector-predictor interior-point method for solving $P_*(kappa)$-linear complementarity problems. The proposed algorithm searches the optimizers along an ellipse that is an approximation of the central path. The algorithm generates a sequence of iterates in the wide neighborhood of central path introduced by Ai and Zhang. The algorithm does not de...
متن کاملCompleteness Proofs for Linear Logic Based on the Proof Search Method (Preliminary Report)
The proof search method is a traditionally established way to prove the completeness theorem for various logics. The purpose of this paper is to show that this method can be adapted to linear logic. First we prove the completeness theorem for a certain fragment of intuitionistic linear logic, called naive linear logic, with respect to naive phase semantics, i.e., phase semantics without any clo...
متن کاملDhage iteration method for PBVPs of nonlinear first order hybrid integro-differential equations
In this paper, author proves the algorithms for the existence as well as the approximation of solutions to a couple of periodic boundary value problems of nonlinear first order ordinary integro-differential equations using operator theoretic techniques in a partially ordered metric space. The main results rely on the Dhage iteration method embodied in the recent hybrid fixed point theorems of D...
متن کاملOptimal Control of Hand, Foot and Mouth Disease Model using Variational Iteration Method
In this paper, the optimal control of transmission dynamics of hand, foot and mouth disease (HFMD), formulated by a compartmental deterministic SEIPR (Susceptible-Incubation (Exposed)- Infected - Post infection virus shedding - Recovered) model with vaccination and treatment as control parameters is considered. The objective function is based on the combination of minimizing the number of infec...
متن کاملPolarized Proof Nets with Cycles and Fixpoints Semantics
Starting from Laurent’s work on Polarized Linear Logic, we define a new polarized linear deduction system which handles recursion. This is achieved by extending the cut-rule, in such a way that iteration unrolling is achieved by cut-elimination. The proof nets counterpart of this extension is obtained by allowing oriented cycles, which had no meaning in usual polarized linear logic. We also fre...
متن کامل